home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / compiler / Config.sml < prev    next >
Encoding:
Text File  |  1997-08-18  |  2.4 KB  |  90 lines  |  [TEXT/Moml]
  1. local open Fnlib in
  2.  
  3. (* Integer ranges *)
  4.  
  5. val maxint_byte = 255
  6. and minint_byte = 0
  7. and maxint_short = 32767
  8. and minint_short = (~32768)
  9. ;
  10.  
  11. (* The default name for executable bytecode files. *)
  12.  
  13. val default_exec_name = "Mosml.out";
  14.  
  15. (* Prompts *)
  16.  
  17. val toplevel_input_prompt = "- ";
  18. val toplevel_output_prompt = "> ";
  19. val toplevel_output_cont_prompt = "  ";
  20. val toplevel_error_prompt = "! ";
  21. val batch_output_prompt = "> ";
  22. val batch_output_cont_prompt = "  ";
  23. val batch_error_prompt = "! ";
  24.  
  25. (* Run-time values *)
  26.  
  27. val realTag = 254;
  28. val stringTag = 253;
  29. val abstractTag = 252;
  30. val noScanTag = 252;
  31. val closureTag = 251;
  32. val refTag = 250;
  33. val maxBlockTag = refTag-1;
  34.  
  35. (* Unit sets *)
  36.  
  37. val reservedUnitNames = ["General", "Top", "Meta"];
  38. val pervasiveOpenedUnits = ["General"];
  39.  
  40. val fulllib = ["Option", "List", "ListPair", "Strbase", "Char", "String",
  41.                "StringCvt", "TextIO", "BasicIO", "Vector", "Help",
  42.                "Array", "Misc", "Substring",
  43.                "Bool", "Int", "Real", "Math",
  44.                "Word", "Word8", "Word8Vector", "Word8Array", "Byte",
  45.                "BinIO", "CharVector", "CharArray",
  46.                "Time", "Timer", "Date", "Path",
  47.                "OS", "FileSys", "Process",
  48.                "Mosml", "PP", "CommandLine"]
  49.  
  50. val preloadedUnitSets = [
  51.   ("none",     []),
  52.   ("default",  ["Option", "List", "Strbase", "Char", "String",
  53.                 "StringCvt", "TextIO", "BasicIO", "Vector", "Help",
  54.                 "Array", "Misc"]),
  55.   ("full",     fulllib),
  56.   ("sml90",    ["Option", "List", "Strbase", "Char", "String",
  57.                 "StringCvt", "TextIO", "BasicIO", "Vector", "Help",
  58.                 "Array", "Misc", "SML90"]),
  59.   ("nj93",     ["Option", "List", "Strbase", "Char", "String",
  60.                 "StringCvt", "TextIO", "BasicIO", "NJ93", "Vector", "Help",
  61.                 "Array", "Misc"])
  62. ];
  63.  
  64. val preopenedPreloadedUnitSets = [
  65.   ("none",     []),
  66.   ("default",  ["Misc", "Help"]),
  67.   ("full",     ["Misc", "Help"]),
  68.   ("sml90",    ["Misc", "SML90", "Help"]),
  69.   ("nj93",     ["Misc", "NJ93", "Help"]),
  70.   ("parsing",  ["Misc", "Help"])
  71. ];
  72.  
  73. fun normalizedFileName s = s;
  74. fun normalizedUnitName s = s;
  75.  
  76. (* To translate escape sequences *)
  77.  
  78. val char_for_backslash = fn
  79. (* *)    #"n" => #"\013"
  80. (* *)  | #"r" => #"\010"
  81. (* *)  | #"a" => #"\007"
  82. (* *)  | #"b" => #"\008"
  83. (* *)  | #"t" => #"\009"
  84. (* *)  | #"v" => #"\011"
  85. (* *)  | #"f" => #"\012"
  86. (* *)  | c => c
  87. ;
  88.  
  89. end;
  90.